Naoto Shiraishi, Keiji Matsumoto; "Undecidability in quantum thermalization"